# SPDX-License-Identifier: Apache-2.0

kernel_library()
kernel_library_sources(
  clocksource.c clockevents.c
  tick-oneshot.c tick-common.c
  timekeeping.c hrtimer.c sched_clock.c
  jiffies.c time.c
)
